[INFO] fetching crate tt-toolkit_derive 0.1.0...
[INFO] fixing tt-toolkit_derive-0.1.0 against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=start=2015 for pr-157817-2
[INFO] extracting crate tt-toolkit_derive 0.1.0 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate tt-toolkit_derive 0.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate tt-toolkit_derive 0.1.0
[INFO] tweaked toml for crates.io crate tt-toolkit_derive 0.1.0 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate tt-toolkit_derive 0.1.0 on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate tt-toolkit_derive 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tt-toolkit v0.0.0
[INFO] [stderr]   Downloaded spez v0.1.2
[INFO] [stderr]   Downloaded tt-toolkit_derive v0.0.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b
[INFO] running `Command { std: "docker" "start" "9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=start=2015", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.93
[INFO] [stderr]    Compiling unicode-ident v1.0.16
[INFO] [stderr]    Compiling tt-toolkit_derive v0.0.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking tt-toolkit v0.0.0
[INFO] [stderr]     Checking quote v1.0.38
[INFO] [stderr]     Checking syn v2.0.98
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking synstructure v0.13.1
[INFO] [stderr]    Compiling spez v0.1.2
[INFO] [stderr]    Compiling tt-toolkit_derive v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:113:9
[INFO] [stdout]     |
[INFO] [stdout] 113 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 114 |         attr_name: &str,
[INFO] [stdout] 115 |     ) -> Option<BindingInfo>;
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 115 |     ) -> Option<BindingInfo<'_>>;
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 139 |         attr_name: &str,
[INFO] [stdout] 140 |     ) -> Option<BindingInfo> {
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 140 |     ) -> Option<BindingInfo<'_>> {
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:113:9
[INFO] [stdout]     |
[INFO] [stdout] 113 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 114 |         attr_name: &str,
[INFO] [stdout] 115 |     ) -> Option<BindingInfo>;
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 115 |     ) -> Option<BindingInfo<'_>>;
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 139 |         attr_name: &str,
[INFO] [stdout] 140 |     ) -> Option<BindingInfo> {
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 140 |     ) -> Option<BindingInfo<'_>> {
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:113:9
[INFO] [stdout]     |
[INFO] [stdout] 113 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 114 |         attr_name: &str,
[INFO] [stdout] 115 |     ) -> Option<BindingInfo>;
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 115 |     ) -> Option<BindingInfo<'_>>;
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/utils.rs:138:9
[INFO] [stdout]     |
[INFO] [stdout] 138 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 139 |         attr_name: &str,
[INFO] [stdout] 140 |     ) -> Option<BindingInfo> {
[INFO] [stdout]     |                 ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 140 |     ) -> Option<BindingInfo<'_>> {
[INFO] [stdout]     |                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::DeBruijnIndexed`
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::DeBruijnIndexed;
[INFO] [stdout]   |     ^^^^^---------------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `DeBruijnIndexed` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `metadata` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Var(#[metadata] &'static str, #[var_index] usize),
[INFO] [stdout]   |           ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `metadata` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Evaluate`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Evaluate)]
[INFO] [stdout] 5 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:5:37
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Var(#[metadata] &'static str, #[var_index] usize),
[INFO] [stdout]   |                                     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 5 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `binding` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_lambda_expr.rs:6:14
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Lambda(#[binding] Box<LambdaExpr>),
[INFO] [stdout]   |              ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `binding` is an attribute that can be used by the derive macros `DeBruijnIndexed`, `Evaluate` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Evaluate, Substitute)]
[INFO] [stdout] 5 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::DeBruijnIndexed`
[INFO] [stdout]  --> tests/debruijn_indexed_just_a_variable.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::DeBruijnIndexed;
[INFO] [stdout]   |     ^^^^^---------------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `DeBruijnIndexed` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_var` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:13:18
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `get_var` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 13 |     assert_eq!(x.get_var(), Some(0));
[INFO] [stdout]    |                  ^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_unit_explicit_both.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^----------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_just_a_variable.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct JustAVariable(#[var_index] usize);
[INFO] [stdout]   |                        ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `subst_types` in this scope
[INFO] [stdout]  --> tests/substitute_unit_explicit_both.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[subst_types(String, Self)]
[INFO] [stdout]   |   ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `subst_types` is an attribute that can be used by the derive macro `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 6 + #[derive(Substitute)]
[INFO] [stdout] 7 | struct UnitExplicitBoth;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `variable` in this scope
[INFO] [stdout]   --> tests/debruijn_indexed_just_a_variable.rs:21:25
[INFO] [stdout]    |
[INFO] [stdout] 21 | struct NestedVariable(#[variable] JustAVariable);
[INFO] [stdout]    |                         ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `variable` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_unit_explicit_self.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^----------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_recursive_var.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^----------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `ttt::DeBruijnIndexed`, `ttt::Evaluate`, `ttt::Substitute`
[INFO] [stdout]  --> tests/evaluate_lambda_expr.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::{DeBruijnIndexed, Evaluate, Substitute};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^  ^^^^^^^^  ^^^^^^^^^^ no `Substitute` in the root
[INFO] [stdout]   |           |                |
[INFO] [stdout]   |           |                no `Evaluate` in the root
[INFO] [stdout]   |           no `DeBruijnIndexed` in the root
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this variant instead:
[INFO] [stdout]           std::ascii::Char::Substitute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `subst_types` in this scope
[INFO] [stdout]  --> tests/substitute_unit_explicit_self.rs:4:3
[INFO] [stdout]   |
[INFO] [stdout] 4 | #[subst_types(Self)]
[INFO] [stdout]   |   ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `subst_types` is an attribute that can be used by the derive macro `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 5 + #[derive(Substitute)]
[INFO] [stdout] 6 | struct UnitExplicitSelf;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/evaluate_lambda_expr.rs:8:11
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Var(#[var_index] usize),
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 7 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 8 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `var_index` in this scope
[INFO] [stdout]  --> tests/substitute_recursive_var.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Var(#[var_index] usize),
[INFO] [stdout]   |           ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `var_index` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 4 + #[derive(DeBruijnIndexed, Substitute)]
[INFO] [stdout] 5 | enum RecursiveVar {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `binding` in this scope
[INFO] [stdout]  --> tests/evaluate_lambda_expr.rs:9:14
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Lambda(#[binding] Box<LambdaExpr>),
[INFO] [stdout]   |              ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: `binding` is an attribute that can be used by the derive macros `DeBruijnIndexed`, `Evaluate` and `Substitute`, you might be missing a `derive` attribute
[INFO] [stdout]   |
[INFO] [stdout] 7 + #[derive(DeBruijnIndexed, Evaluate, Substitute)]
[INFO] [stdout] 8 | enum LambdaExpr {
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:15:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 15 |     let x = x.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `evaluate_pattern` in this scope
[INFO] [stdout]   --> tests/evaluate_lambda_expr.rs:10:7
[INFO] [stdout]    |
[INFO] [stdout] 10 |     #[evaluate_pattern {
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `evaluate_pattern` is an attribute that can be used by the derive macro `Evaluate`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout]  7 + #[derive(Evaluate)]
[INFO] [stdout]  8 | enum LambdaExpr {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::Substitute`
[INFO] [stdout]  --> tests/substitute_unit.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::Substitute;
[INFO] [stdout]   |     ^^^^^----------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `Substitute` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing this variant instead
[INFO] [stdout]   |
[INFO] [stdout] 1 - use ttt::Substitute;
[INFO] [stdout] 1 + use std::ascii::Char::Substitute;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_var` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:19:18
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `get_var` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 19 |     assert_eq!(x.get_var(), None);
[INFO] [stdout]    |                  ^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ttt::DeBruijnIndexed`
[INFO] [stdout]  --> tests/debruijn_indexed_ignores_metadata.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ttt::DeBruijnIndexed;
[INFO] [stdout]   |     ^^^^^---------------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          no `DeBruijnIndexed` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `metadata` in this scope
[INFO] [stdout]  --> tests/debruijn_indexed_ignores_metadata.rs:4:26
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct IgnoresMetadata(#[metadata] usize);
[INFO] [stdout]   |                          ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `metadata` is an attribute that can be used by the derive macros `DeBruijnIndexed` and `Evaluate`, you might be missing a `derive` attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:21:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 21 |     let x = x.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `UnitExplicitBoth` in the current scope
[INFO] [stdout]   --> tests/substitute_unit_explicit_both.rs:11:15
[INFO] [stdout]    |
[INFO] [stdout]  6 | struct UnitExplicitBoth;
[INFO] [stdout]    | ----------------------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 11 |     let x = x.substitute(&"foo".to_string(), 0);
[INFO] [stdout]    |               ^^^^^^^^^^ method not found in `UnitExplicitBoth`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:29:23
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 29 |     let y = x.clone().increment_indices();
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `UnitExplicitSelf` in the current scope
[INFO] [stdout]   --> tests/substitute_unit_explicit_self.rs:10:15
[INFO] [stdout]    |
[INFO] [stdout]  5 | struct UnitExplicitSelf;
[INFO] [stdout]    | ----------------------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 10 |     let x = x.substitute(&UnitExplicitSelf, 0);
[INFO] [stdout]    |               ^^^^^^^^^^ method not found in `UnitExplicitSelf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for struct `JustAVariable` in the current scope
[INFO] [stdout]  --> tests/debruijn_indexed_just_a_variable.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct JustAVariable(#[var_index] usize);
[INFO] [stdout]   | -------------------- method `increment_indices` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 9 |     let x = x.increment_indices();
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^ method not found in `JustAVariable`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `get_var` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:33:18
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `get_var` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 33 |     assert_eq!(y.get_var(), None);
[INFO] [stdout]    |                  ^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit_explicit_both") due to 3 previous errors
[INFO] [stdout] error[E0599]: no method named `substitute` found for struct `Unit` in the current scope
[INFO] [stdout]  --> tests/substitute_unit.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct Unit;
[INFO] [stdout]   | ----------- method `substitute` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 9 |     let x = x.substitute(&Unit, 0);
[INFO] [stdout]   |               ^^^^^^^^^^ method not found in `Unit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_lambda_expr.rs:35:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `increment_indices` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 35 |     let y = y.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_lambda_expr") due to 11 previous errors
[INFO] [stdout] error[E0599]: no method named `evaluate_closed` found for enum `LambdaExpr` in the current scope
[INFO] [stdout]   --> tests/evaluate_lambda_expr.rs:26:24
[INFO] [stdout]    |
[INFO] [stdout]  7 | enum LambdaExpr {
[INFO] [stdout]    | --------------- method `evaluate_closed` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 26 |     let evalled = expr.evaluate_closed(false);
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^ method not found in `LambdaExpr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit_explicit_self") due to 3 previous errors
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for struct `NestedVariable` in the current scope
[INFO] [stdout]   --> tests/debruijn_indexed_just_a_variable.rs:27:15
[INFO] [stdout]    |
[INFO] [stdout] 21 | struct NestedVariable(#[variable] JustAVariable);
[INFO] [stdout]    | --------------------- method `increment_indices` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 27 |     let x = x.increment_indices();
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^ method not found in `NestedVariable`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_unit") due to 2 previous errors
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `substitute` found for enum `RecursiveVar` in the current scope
[INFO] [stdout]   --> tests/substitute_recursive_var.rs:25:15
[INFO] [stdout]    |
[INFO] [stdout]  4 | enum RecursiveVar {
[INFO] [stdout]    | ----------------- method `substitute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 25 |     let y = x.substitute(&x, 0).unwrap();
[INFO] [stdout]    |               ^^^^^^^^^^ method not found in `RecursiveVar`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `increment_indices` found for struct `IgnoresMetadata` in the current scope
[INFO] [stdout]  --> tests/debruijn_indexed_ignores_metadata.rs:9:15
[INFO] [stdout]   |
[INFO] [stdout] 4 | struct IgnoresMetadata(#[metadata] usize);
[INFO] [stdout]   | ---------------------- method `increment_indices` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 9 |     let x = x.increment_indices();
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^^ method not found in `IgnoresMetadata`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "evaluate_lambda_expr") due to 5 previous errors
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_just_a_variable") due to 5 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "substitute_recursive_var") due to 3 previous errors
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tt-toolkit_derive` (test "debruijn_indexed_ignores_metadata") due to 3 previous errors
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b", kill_on_drop: false }`
[INFO] [stdout] 9edcc49e785eadcf7609e3158313073bb59b7a0e85172b4a40c8f7189c93161b
